Graphulo Implementation of Server-Side Sparse Matrix Multiply in the Accumulo Database

The Apache Accumulo database excels at distributed storage and indexing and is ideally suited for storing graph data. Many big data analytics compute on graph data and persist their results back to the database. These graph calculations are often best performed inside the database server. The GraphBLAS standard provides a compact and efficient basis for a wide range of graph applications through a small number of sparse matrix operations. In this article, we implement GraphBLAS sparse matrix multiplication server-side by leveraging Accumulo's native, high-performance iterators. We compare the mathematics and performance of inner and outer product implementations, and show how an outer product implementation achieves optimal performance near Accumulo's peak write rate. We offer our work as a core component to the Graphulo library that will deliver matrix math primitives for graph analytics within Accumulo.Comment: To be presented at IEEE HPEC 2015: http://www.ieee-hpec.org

Active Learning of Points-To Specifications

When analyzing programs, large libraries pose significant challenges to static points-to analysis. A popular solution is to have a human analyst provide points-to specifications that summarize relevant behaviors of library code, which can substantially improve precision and handle missing code such as native code. We propose ATLAS, a tool that automatically infers points-to specifications. ATLAS synthesizes unit tests that exercise the library code, and then infers points-to specifications based on observations from these executions. ATLAS automatically infers specifications for the Java standard library, and produces better results for a client static information flow analysis on a benchmark of 46 Android apps compared to using existing handwritten specifications

Scrutinizing and De-Biasing Intuitive Physics with Neural Stethoscopes

Visually predicting the stability of block towers is a popular task in the domain of intuitive physics. While previous work focusses on prediction accuracy, a one-dimensional performance measure, we provide a broader analysis of the learned physical understanding of the final model and how the learning process can be guided. To this end, we introduce neural stethoscopes as a general purpose framework for quantifying the degree of importance of specific factors of influence in deep neural networks as well as for actively promoting and suppressing information as appropriate. In doing so, we unify concepts from multitask learning as well as training with auxiliary and adversarial losses. We apply neural stethoscopes to analyse the state-of-the-art neural network for stability prediction. We show that the baseline model is susceptible to being misled by incorrect visual cues. This leads to a performance breakdown to the level of random guessing when training on scenarios where visual cues are inversely correlated with stability. Using stethoscopes to promote meaningful feature extraction increases performance from 51% to 90% prediction accuracy. Conversely, training on an easy dataset where visual cues are positively correlated with stability, the baseline model learns a bias leading to poor performance on a harder dataset. Using an adversarial stethoscope, the network is successfully de-biased, leading to a performance increase from 66% to 88%

Does any aspect of mind survive brain damage that typically leads to a persistent vegetative state? Ethical considerations

Recent neuroscientific evidence brings into question the conclusion that all aspects of consciousness are gone in patients who have descended into a persistent vegetative state (PVS). Here we summarize the evidence from human brain imaging as well as neurological damage in animals and humans suggesting that some form of consciousness can survive brain damage that commonly causes PVS. We also raise the issue that neuroscientific evidence indicates that raw emotional feelings (primary-process affects) can exist without any cognitive awareness of those feelings. Likewise, the basic brain mechanisms for thirst and hunger exist in brain regions typically not damaged by PVS. If affective feelings can exist without cognitive awareness of those feelings, then it is possible that the instinctual emotional actions and pain "reflexes" often exhibited by PVS patients may indicate some level of mentality remaining in PVS patients. Indeed, it is possible such raw affective feelings are intensified when PVS patients are removed from life-supports. They may still experience a variety of primary-process affective states that could constitute forms of suffering. If so, withdrawal of life-support may violate the principle of nonmaleficence and be tantamount to inflicting inadvertent "cruel and unusual punishment" on patients whose potential distress, during the process of dying, needs to be considered in ethical decision-making about how such individuals should be treated, especially when their lives are ended by termination of life-supports. Medical wisdom may dictate the use of more rapid pharmacological forms of euthanasia that minimize distress than the de facto euthanasia of life-support termination that may lead to excruciating feelings of pure thirst and other negative affective feelings in the absence of any reflective awareness

Tectonic and climatic forcing on the Panj river system during the Quaternary

Abstract HKT-ISTP 2013 B

The inward bulge type buckling of monocoque cylinders II : experimental investigation of the buckling in combined bending and compression

This paper is the second part of a series of reports on the inward bulge type buckling of monocoque cylinders. It presents the results of an experimental investigation of buckling in combined bending and compression. In the investigation it was found that the theory developed in part I of the present series predicts the buckling load in combined bending and compression with the same degree of accuracy as the older theory does in pure bending. In the realm covered by the experiments no systematic variation of the parameter N was observed. The analysis of the test results afforded a check on the theories of buckling of a curved panel. The agreement between experiment and theory was reasonably good. In addition, the effect of the end conditions upon the stress distribution under loads and upon initial stresses was investigated

Dual role of tumor suppressor p53 in regulation of DNA replication and oncogene e6-promoter activity of epidermodysplasia verruciformis-associated human papillomavirus type 8

AbstractHuman papillomavirus 8 (HPV8) is a representative of Epidermodysplasia verruciformis (EV)-associated viruses. Transient assays in the human skin keratinocyte cell line RTS3b have shown that its replication depends in trans on expression of the viral proteins E1 and E2, similarly to other HPVs. Using deletion mutants and cloned subfragments of the noncoding region (NCR) of HPV8 we identified a 65-bp sequence in the 3′ part of the NCR to be necessary and sufficient to support replication in cis. The origin of replication (ori) of HPV8 is composed of the sequence motifs “CCAAC” (nt 57–73) and M29 (nt 84–112), which are highly conserved among the majority of EV HPVs. Analysis of M29 revealed an unconventional binding site of the E2 protein and an overlapping DNA recognition site of the tumor suppressor protein p53. Both these factors competitively bind to M29. In transient replication assays p53 acted as a potent inhibitor of ori activity, most probably in a DNA-binding-dependent fashion. The minimal ori sequences are also functionally critical for the E6 oncogene promoter P175. In contrast to its effect on replication, p53 stimulated promoter activity depending on its interaction with M29. Our observations suggest that p53 is involved in controlling the balance between DNA replication and gene expression of HPV8